Raonament deductiu

El raonament deductiu, deducció o mètode lògic deductiu és un mètode lògic que, a diferència del raonament o mètode inductiu, es basa en el fet que la conclusió és implícita a les premisses. Dit altrament, el raonament deductiu va del cas general al particular, perquè infereix els fets basant-se en una llei general.^[1][2][3] La conclusió no serà un nou coneixement, perquè se segueix necessàriament de les premisses. Si un raonament deductiu és vàlid i les premisses són veritables, la conclusió només pot ser veritable. Va ser descrit per primera vegada per filòsofs de l'antiga Grècia, especialment Aristòtil. La seva principal aplicació es fa pel mètode d'extrapolació.